Năm 1928 Gilluly và Reeside tuyên bố ý định đặt tên cho hệ tầng theo tên núi Carmel nhưng không nói rõ nơi đầu tiên tìm thấy nó ở đâu. Họ ghi nhận nó như là một hệ tầng cơ sở ở nhóm San Rafael, ở San Rafael Swell, hạt Emery, Utah. Một phân tích tổng quan về nguồn gốc và nơi được tìm thấy đầu tiên được đưa ra bởi Gregory và Moore năm 1931. Mackin sửa mô tả của hệ tầng và để nó vào nhóm đá vôi Homestake năm 1954. Harshbarger và một số người khác tạo ra một phân tích tổng quan vào năm 1957. Giới hạn phía đông của nó được mô tả bởi Wright và một số người khác năm 1962. Vào năm 1963, giới hạn phít tây cùng với một tổng quan đã được hoàn thành bởi Schultz và Wright. Một sửa đổi được thực hiện bởi Phoenix vào năm 1963, đó là người thêm nhóm Judd Hollow. Các nhóm Kolob, Crystal Creek, sông Paria, Newton và Wiggler Wash đã được thêm vào bởi Thompson và Stokes năm 1970. Giới hạn diện tích đã điều chỉnh bởi O ' Sullivan và Craig trong năm 1973 và một lần nữa trong năm 1983 Blakey và những người khác. Phân tíhc tổng quan khác đã được hoàn thành Chapman năm 1989. Hintze và một số người khác tiến hành một phân tích tổng quát vào năm 1994.[3]